proof tree造句

例句与造句

1. Many people research how to find value of y from resolution proof trees
   有许多人研究从归结证明树确定y的值的方法。
2. It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved
   这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。
3. It's difficult to find proof tree in a sentence. 用proof tree造句挺难的